FORMAL MODEL OF PROJECT OR PROGRAM MENTAL SPACE
نویسندگان
چکیده
منابع مشابه
Formal Model-Driven Program Refactoring
Evolutionary tasks, specially refactoring, affect source code and object models, hindering correctness and conformance. Due to the gap between object models and programs, refactoring tasks get duplicated in commonly-used model-driven development approaches, such as Round-Trip Engineering. In this paper, we propose a formal approach to consistently refactor systems in a model-driven manner. Each...
متن کاملProject Management Effectiveness: the choice - formal or informal controls
Development failures and runaway projects in the information systems (IS) area can result in substantial losses to organizations, either financially or to a company’s reputation. One important strategy in mitigating risk is the use of effective controls over IS projects. This research investigates the effectiveness of control mechanisms in IS projects, i.e., how they have been established, appl...
متن کاملA Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent models also incorporate timing properties, but the resulting formalisms are prohibitively complex. Here we take advantage of a new, simple model of real-time refinement to present a straightforward formalism for compilati...
متن کاملSpacelike hypersurfaces with constant $S$ or $K$ in de Sitter space or anti-de Sitter space
Let $M^n$ be an $n(ngeq 3)$-dimensional complete connected and oriented spacelike hypersurface in a de Sitter space or an anti-de Sitter space, $S$ and $K$ be the squared norm of the second fundamental form and Gauss-Kronecker curvature of $M^n$. If $S$ or $K$ is constant, nonzero and $M^n$ has two distinct principal curvatures one of which is simple, we obtain some charact...
متن کاملFormal Methods Pilot Project
This paper reports on a collaborative project to pilot the use of formal methods in the development of safetyrelated somare. Using the SVRC’s Cogito methodology, stafs from CSC Australia undertook: formal specijication; validation of the specijication by mathematical consistency checks; hazard analysis; and validation of the speciJication against the safety requirements. Part of the design was ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radio Electronics, Computer Science, Control
سال: 2017
ISSN: 2313-688X,1607-3274
DOI: 10.15588/1607-3274-2017-1-17